package server;

/**
 * @author Mattia
 *
 */
public class Carnivori extends Dinosauro {
	
	/* ATTRIBUTI */
	private static int costForza=2;
	private static int costMovimento=3;
	
	//@ requires	pos_x>0 && pos_x<40 && pos_y>0 && pos_y<40;
	/** Costruttore di Carnivori, richiama il costruttore di Dinosauro
	 * 
	 * @param pos_x Posizione orizzontale del dinosauro
	 * @param pos_y Posizione verticale del dinosauro
	 * @param nome Nome del dinosauro
	 */
	public Carnivori(int pos_x, int pos_y, String nome) 
	{
		super(pos_x, pos_y, nome);
		specie=true;
		
	}
	
	/** Restituisce il valore della forza del dinosauro carnivoro
	 * 
	 * @return forza - Forza del dinosauro carnivoro
	 */
	public int Forza(){
		return (costForza*getDimensione()*getEnergia());
	}

	/** Restituisce il valore della costMovimento del dinosauro carnivoro
	 * 
	 * @return costMovimento
	 */
	
	public int Movimento(){
		return costMovimento;
	}

	
	public int Sforzo(){
		
		return	(int)(10*Math.pow(2,Movimento()));
		

	}
}
